Pii: S0141-9331(00)00073-9
نویسندگان
چکیده
This paper deals with the sequential diagnosis approach and the associated test sequencing problem (i.e. the problem of generating the sequence of tests required to reach a diagnostic conclusion at minimum cost). The traditional test sequencing problem is generalized here to include asymmetrical and multi-valued tests. We present the sequential diagnosis tool (SDT) that enables the user to generate solutions of the generalized test sequencing problem. SDT can be employed as a kernel of a diagnostic reasoner in automatic test equipment or system maintenance software. q 2000 Elsevier Science B.V. All rights reserved.
منابع مشابه
MPATH: a loop-free multipath routing algorithm
We present a distributed routing algorithm for computing multiple paths between each source-destination pair in a computer network, such that the paths are loop-free at all times and are not necessarily of equal length. In this algorithm, routers exchange second-to-last hop on the shortest path to destinations in addition to shortest distances, which are used to prevent the well-know count-to-i...
متن کاملSimulative performance analysis of distributed switching fabrics for SCI-based systems
This paper presents the results of a performance study on 1D and 2D k-ary n-cube switching fabrics for the Scalable Coherent Interface through high-fidelity simulation with analytical verification. These topologies have been widely cited in the literature as the target of studies on parallel algorithms and represent a promising basis for the design of efficient distributed switching fabrics for...
متن کاملDesign and implementation of a low-cost/high-performance Video on Demand server
In this paper a prototype of a distributed Video on Demand server is presented. The technical aspects regarding the realization of this kind of service provider are dealt with, paying particular attention to exploiting the architecture the system is based on. The proposed system easily allows, in any broadband local network environment, the realization of a low-cost/high-performance, distribute...
متن کاملChecking states and transitions of a set of communicating finite state machines
Given a model M , consisting of communicating finite state machines (CFSMs), that represents the required behaviour of an implementation I, it is important to test I against M . This paper considers part of the testing process: checking the transition structure of I against that of M . One possible approach, to checking the transition structure of I, is to generate the product machine from M an...
متن کاملA comparison of software-based techniques intended to increase the reliability of embedded applications in the presence of EMI
increase the reliability of embedded applications in the presence of EMI? " Microprocessors and Microsystems, 24 (10): 481-491. Abstract Corruption of the instruction pointer in an embedded computer system has been shown to be a common failure mode in the presence of electromagnetic interference, and previous investigators have suggested that the use of techniques such as " Function Tokens " an...
متن کامل